退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:表征平衡逻辑和嵌套逻辑程序:简化和简化
David Pearce; Hans Tompits; Stefan Woltran;
机译:无限均衡逻辑和强等价逻辑程序
机译:可能的嵌套逻辑程序和强大的对等关系
机译:带有嵌套表达式的平衡逻辑和逻辑程序的编码
机译:弥合基于古典逻辑的形式主义与逻辑程序之间的鸿沟
机译:在医疗保健研究中推进复杂性科学:逻辑模型的逻辑
机译:表征均衡逻辑和嵌套逻辑程序:减少 和复杂性
机译:伽罗瓦逻辑设计中的复杂性降低。
机译:使用上下文敏感逻辑进行可编程逻辑阵列和只读存储区的减少,以进行数据空间操作
机译:使用上下文敏感逻辑对数据空间进行操作的可编程逻辑阵列和只读存储区减少
机译:用于在网络控制系统中表征可编程逻辑控制器(PLC)和/或攻击检测的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。